USENIX Security '23 - Automated Security Analysis of Exposure Notification Systems USENIX 11:32 10 months ago 43 Далее Скачать
USENIX Security '23 - Are You Spying on Me? Large-Scale Analysis on IoT Data Exposure through... USENIX 12:58 10 months ago 155 Далее Скачать
USENIX Security '23 - A comprehensive, formal and automated analysis of the EDHOC protocol USENIX 11:06 10 months ago 65 Далее Скачать
USENIX Security '23 - Automated Analysis of Protocols that use Authenticated Encryption: How... USENIX 11:19 10 months ago 62 Далее Скачать
USENIX Security '23 - We Really Need to Talk About Session Tickets: A Large-Scale Analysis of... USENIX 10:49 10 months ago 153 Далее Скачать
USENIX Security '23 - Automated Cookie Notice Analysis and Enforcement USENIX 11:44 10 months ago 80 Далее Скачать
USENIX Security '23 - AutoFR: Automated Filter Rule Generation for Adblocking USENIX 15:10 10 months ago 70 Далее Скачать
USENIX Security '20 - A Spectral Analysis of Noise: A Comprehensive, Automated, Formal Analysis USENIX 11:10 4 years ago 177 Далее Скачать
USENIX Security '23 - Investigating Verification Behavior and Perceptions of Visual Digital... USENIX 12:07 10 months ago 48 Далее Скачать
USENIX Security '23 - Formal Analysis of Session-Handling in Secure Messaging: Lifting Security... USENIX 11:28 10 months ago 75 Далее Скачать
USENIX Security '18 - Formal Security Analysis of Neural Networks using Symbolic Intervals USENIX 21:41 6 years ago 1 150 Далее Скачать
USENIX Security '20 - A Spectral Analysis of Noise: A Comprehensive, Automated, Formal Analysis USENIX 11:10 4 years ago 53 Далее Скачать
USENIX Security '23 - A Bug's Life: Analyzing the Lifecycle and Mitigation Process of Content... USENIX 11:24 10 months ago 103 Далее Скачать
USENIX Security '23 - Examining Consumer Reviews to Understand Security and Privacy Issues in the... USENIX 12:38 10 months ago 100 Далее Скачать
USENIX Security '23 - RIDAS: Real-time identification of attack sources on controller area networks USENIX 14:22 10 months ago 81 Далее Скачать
USENIX Security '23 - Generative Intrusion Detection and Prevention on Data Stream USENIX 12:56 10 months ago 142 Далее Скачать
USENIX Security '23 - XCheck: Verifying Integrity of 3D Printed Patient-Specific Devices via... USENIX 8:21 10 months ago 25 Далее Скачать
USENIX Security '23 - “Millions of people are watching you”: Understanding the Digital-Safety... USENIX 12:50 10 months ago 130 Далее Скачать